chain\_master() $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$(Id List) + (${\it from}$:Id $\times$ (${\it to}$:Id $\times$ $\mathbb{N}$))